

from core.himesis import Himesis
import cPickle as pickle
from uuid import UUID

class HTransition2Inst(Himesis):
    def __init__(self):
        """
        Creates the himesis graph representing the AToM3 model HTransition2Inst.
        """
        # Flag this instance as compiled now
        self.is_compiled = True
        
        super(HTransition2Inst, self).__init__(name='HTransition2Inst', num_nodes=85, edges=[])
        
        # Add the edges
        self.add_edges([(2, 14), (14, 7), (7, 15), (15, 8), (7, 16), (16, 1), (8, 17), (17, 5), (6, 18), (18, 22), (6, 19), (19, 23), (6, 20), (20, 24), (6, 21), (21, 25), (54, 47), (47, 68), (55, 48), (48, 69), (56, 49), (49, 70), (57, 50), (50, 9), (58, 51), (51, 73), (59, 52), (52, 10), (60, 53), (53, 75), (22, 41), (41, 79), (23, 42), (42, 80), (24, 43), (43, 81), (25, 44), (44, 82), (6, 45), (45, 83), (6, 46), (46, 84), (3, 0), (0, 36), (0, 37), (0, 38), (0, 39), (0, 40), (9, 26), (26, 72), (9, 27), (27, 76), (9, 28), (28, 71), (10, 29), (29, 74), (10, 30), (30, 77), (4, 31), (31, 2), (4, 32), (32, 7), (4, 33), (33, 8), (4, 34), (34, 5), (4, 35), (35, 1), (5, 11), (11, 77), (8, 12), (12, 76), (2, 13), (13, 78), (4, 3), (54, 61), (55, 62), (56, 63), (57, 64), (58, 65), (59, 66), (60, 67), (36, 6), (37, 25), (38, 24), (39, 23), (40, 22), (61, 78), (62, 79), (63, 80), (64, 81), (65, 82), (66, 83), (67, 84)])
        # Set the graph attributes
        self["mm__"] = pickle.loads("""(lp1
S'UMLRT2Kiltera_MM'
p2
a.""")
        self["name"] = """Transition2Inst"""
        self["GUID__"] = UUID('a238bb7b-71ff-442d-83a8-992356caae12')
        
        # Set the node attributes
        self.vs[0]["mm__"] = """ApplyModel"""
        self.vs[0]["GUID__"] = UUID('ba5212cc-9805-4892-8c63-2ec8530366c3')
        self.vs[1]["name"] = """in1_1"""
        self.vs[1]["classtype"] = """IN1"""
        self.vs[1]["mm__"] = """IN1"""
        self.vs[1]["cardinality"] = """1"""
        self.vs[1]["GUID__"] = UUID('caea89ff-586e-4bac-a778-95af11f0b76e')
        self.vs[2]["name"] = """state1"""
        self.vs[2]["classtype"] = """State"""
        self.vs[2]["mm__"] = """State"""
        self.vs[2]["cardinality"] = """+"""
        self.vs[2]["GUID__"] = UUID('7319523b-0435-4abc-afca-ce7563c030c3')
        self.vs[3]["mm__"] = """paired_with"""
        self.vs[3]["GUID__"] = UUID('d439d675-0512-4238-85ab-f4552bc74411')
        self.vs[4]["mm__"] = """MatchModel"""
        self.vs[4]["GUID__"] = UUID('32536b24-ec1e-4c2a-88b4-3bbee3e74e69')
        self.vs[5]["name"] = """statemachine1"""
        self.vs[5]["classtype"] = """StateMachine"""
        self.vs[5]["mm__"] = """StateMachine"""
        self.vs[5]["cardinality"] = """1"""
        self.vs[5]["GUID__"] = UUID('24990fc5-cbdb-494f-b60f-a33c0e515820')
        self.vs[6]["name"] = """inst1"""
        self.vs[6]["classtype"] = """Inst"""
        self.vs[6]["mm__"] = """Inst"""
        self.vs[6]["cardinality"] = """1"""
        self.vs[6]["GUID__"] = UUID('5d48cf9e-56d5-4af2-847a-2b851d9bad03')
        self.vs[7]["name"] = """transition1"""
        self.vs[7]["classtype"] = """Transition"""
        self.vs[7]["mm__"] = """Transition"""
        self.vs[7]["cardinality"] = """+"""
        self.vs[7]["GUID__"] = UUID('83f6a7d8-4d96-41c2-8521-a41d6d4faf6c')
        self.vs[8]["name"] = """entrypoint1"""
        self.vs[8]["classtype"] = """EntryPoint"""
        self.vs[8]["mm__"] = """EntryPoint"""
        self.vs[8]["cardinality"] = """1"""
        self.vs[8]["GUID__"] = UUID('7b3fb72d-8e89-4c6f-8831-6af864fa2198')
        self.vs[9]["name"] = """concat1"""
        self.vs[9]["mm__"] = """Concat"""
        self.vs[9]["Type"] = """'String'"""
        self.vs[9]["GUID__"] = UUID('bd54e009-c6e7-4b35-94ff-48d53f97e619')
        self.vs[10]["name"] = """concat2"""
        self.vs[10]["mm__"] = """Concat"""
        self.vs[10]["Type"] = """'String'"""
        self.vs[10]["GUID__"] = UUID('beb26da8-cf69-4efb-bc26-df6b51ca6259')
        self.vs[11]["mm__"] = """hasAttribute_S"""
        self.vs[11]["GUID__"] = UUID('f6759cd5-006f-4e73-89c8-ff4e4898e466')
        self.vs[12]["mm__"] = """hasAttribute_S"""
        self.vs[12]["GUID__"] = UUID('630b7ca9-bdfa-4c53-9ae5-6918b492a9b7')
        self.vs[13]["mm__"] = """hasAttribute_S"""
        self.vs[13]["GUID__"] = UUID('49f370b5-e72c-4c48-b404-5848ec5a01cc')
        self.vs[14]["associationType"] = """transitions"""
        self.vs[14]["mm__"] = """directLink_S"""
        self.vs[14]["GUID__"] = UUID('36f0dfdd-d175-48a8-9217-4bb7168361cc')
        self.vs[15]["associationType"] = """dest"""
        self.vs[15]["mm__"] = """directLink_S"""
        self.vs[15]["GUID__"] = UUID('7ce8bf77-0b2e-4f24-943e-c7681a3eca73')
        self.vs[16]["associationType"] = """type"""
        self.vs[16]["mm__"] = """directLink_S"""
        self.vs[16]["GUID__"] = UUID('87287957-e47a-4d90-964e-30ffecb8af73')
        self.vs[17]["associationType"] = """owningStateMachine"""
        self.vs[17]["mm__"] = """directLink_S"""
        self.vs[17]["GUID__"] = UUID('c25fb2a7-f53b-487f-9c10-a50ecdec95ea')
        self.vs[18]["associationType"] = """channelNames"""
        self.vs[18]["mm__"] = """directLink_T"""
        self.vs[18]["GUID__"] = UUID('c73bdeb7-357d-43b6-901e-914d24431503')
        self.vs[19]["associationType"] = """channelNames"""
        self.vs[19]["mm__"] = """directLink_T"""
        self.vs[19]["GUID__"] = UUID('155fe9e0-cd55-4c64-bf56-97dc9ee5b27a')
        self.vs[20]["associationType"] = """channelNames"""
        self.vs[20]["mm__"] = """directLink_T"""
        self.vs[20]["GUID__"] = UUID('13e15f7f-b2a1-44c2-9b30-0e420bb7fef8')
        self.vs[21]["associationType"] = """channelNames"""
        self.vs[21]["mm__"] = """directLink_T"""
        self.vs[21]["GUID__"] = UUID('da72374c-56f8-4885-addb-26f227437857')
        self.vs[22]["name"] = """name1"""
        self.vs[22]["classtype"] = """Name"""
        self.vs[22]["mm__"] = """Name"""
        self.vs[22]["cardinality"] = """1"""
        self.vs[22]["GUID__"] = UUID('26afce39-d814-4c7e-8806-2d5268d3dc99')
        self.vs[23]["name"] = """name2"""
        self.vs[23]["classtype"] = """Name"""
        self.vs[23]["mm__"] = """Name"""
        self.vs[23]["cardinality"] = """1"""
        self.vs[23]["GUID__"] = UUID('79d49711-3ce1-4710-b053-a3afc3b90aa5')
        self.vs[24]["name"] = """name3"""
        self.vs[24]["classtype"] = """Name"""
        self.vs[24]["mm__"] = """Name"""
        self.vs[24]["cardinality"] = """1"""
        self.vs[24]["GUID__"] = UUID('81366fc0-43dd-4741-aa9a-a3045e53f45e')
        self.vs[25]["name"] = """name4"""
        self.vs[25]["classtype"] = """Name"""
        self.vs[25]["mm__"] = """Name"""
        self.vs[25]["cardinality"] = """1"""
        self.vs[25]["GUID__"] = UUID('80a3c24e-1f8d-479f-a395-d4cb70215475')
        self.vs[26]["mm__"] = """hasArgs"""
        self.vs[26]["GUID__"] = UUID('6dbbe75c-b90d-4432-be3a-c43b68f17bdb')
        self.vs[27]["mm__"] = """hasArgs"""
        self.vs[27]["GUID__"] = UUID('9b933896-4d8d-4fe1-8211-fb1e626607b1')
        self.vs[28]["mm__"] = """hasArgs"""
        self.vs[28]["GUID__"] = UUID('bdbe197b-c5ee-46f9-aed8-f793c5f0332c')
        self.vs[29]["mm__"] = """hasArgs"""
        self.vs[29]["GUID__"] = UUID('a1b07714-9cde-4f8e-970a-58da7e34fed7')
        self.vs[30]["mm__"] = """hasArgs"""
        self.vs[30]["GUID__"] = UUID('b1423c6e-89d7-43c6-8e65-f4c0deb27486')
        self.vs[31]["mm__"] = """match_contains"""
        self.vs[31]["GUID__"] = UUID('9023d2d3-6f62-4697-bf1d-cf43d35e7234')
        self.vs[32]["mm__"] = """match_contains"""
        self.vs[32]["GUID__"] = UUID('cb4fa982-d377-40a7-b5fa-68850c89c42b')
        self.vs[33]["mm__"] = """match_contains"""
        self.vs[33]["GUID__"] = UUID('15fe045e-7864-41be-8ced-72a443252cd0')
        self.vs[34]["mm__"] = """match_contains"""
        self.vs[34]["GUID__"] = UUID('a64ce5f6-91b7-46ee-9128-4b68ba57f56f')
        self.vs[35]["mm__"] = """match_contains"""
        self.vs[35]["GUID__"] = UUID('8db98853-1230-485b-86ea-28d5f46ec0e2')
        self.vs[36]["mm__"] = """apply_contains"""
        self.vs[36]["GUID__"] = UUID('00186121-2b95-4d22-a3de-866859437729')
        self.vs[37]["mm__"] = """apply_contains"""
        self.vs[37]["GUID__"] = UUID('6e0f6ac7-03d7-4593-94ad-11cf29396f7b')
        self.vs[38]["mm__"] = """apply_contains"""
        self.vs[38]["GUID__"] = UUID('885bb280-b6a4-4531-b21f-0eac0c7cd0b7')
        self.vs[39]["mm__"] = """apply_contains"""
        self.vs[39]["GUID__"] = UUID('4bf2a567-20ad-405e-b634-50eb9756ca9f')
        self.vs[40]["mm__"] = """apply_contains"""
        self.vs[40]["GUID__"] = UUID('3b71a5ce-d81b-4f4e-91b1-017bb41cde5f')
        self.vs[41]["mm__"] = """hasAttribute_T"""
        self.vs[41]["GUID__"] = UUID('911b1d9c-7e29-476c-bcbf-5755f8129980')
        self.vs[42]["mm__"] = """hasAttribute_T"""
        self.vs[42]["GUID__"] = UUID('bf0c4b93-f815-48e5-a17f-0e65db3beebf')
        self.vs[43]["mm__"] = """hasAttribute_T"""
        self.vs[43]["GUID__"] = UUID('bdd335af-360c-41cf-9ab9-e7f719dfec1a')
        self.vs[44]["mm__"] = """hasAttribute_T"""
        self.vs[44]["GUID__"] = UUID('f798d5b0-7e83-4f99-af66-8950cb800b94')
        self.vs[45]["mm__"] = """hasAttribute_T"""
        self.vs[45]["GUID__"] = UUID('e21e7523-ba81-4f34-8107-12343412abea')
        self.vs[46]["mm__"] = """hasAttribute_T"""
        self.vs[46]["GUID__"] = UUID('d20f5182-bd69-48ce-bf88-d1bc04e34eeb')
        self.vs[47]["mm__"] = """rightExpr"""
        self.vs[47]["GUID__"] = UUID('5e1a43cc-caaf-4f48-8992-5bd6dc94e8c6')
        self.vs[48]["mm__"] = """rightExpr"""
        self.vs[48]["GUID__"] = UUID('c832e807-18a9-4b82-bd64-d35b3a1d706a')
        self.vs[49]["mm__"] = """rightExpr"""
        self.vs[49]["GUID__"] = UUID('0ae3bc3c-ec30-41fd-80bd-27196cddeb0c')
        self.vs[50]["mm__"] = """rightExpr"""
        self.vs[50]["GUID__"] = UUID('8ed29940-3b6b-4716-95be-727424c1d36c')
        self.vs[51]["mm__"] = """rightExpr"""
        self.vs[51]["GUID__"] = UUID('83df8afd-1974-49c3-be96-15b196b8ac4f')
        self.vs[52]["mm__"] = """rightExpr"""
        self.vs[52]["GUID__"] = UUID('4fbc258e-d3e5-4664-89a8-e481c51b8a78')
        self.vs[53]["mm__"] = """rightExpr"""
        self.vs[53]["GUID__"] = UUID('39230156-1e3b-4071-b859-84746762e4cb')
        self.vs[54]["name"] = """eq1"""
        self.vs[54]["mm__"] = """Equation"""
        self.vs[54]["GUID__"] = UUID('47a43bcc-9a4d-429f-8070-8b0b57a84594')
        self.vs[55]["name"] = """eq2"""
        self.vs[55]["mm__"] = """Equation"""
        self.vs[55]["GUID__"] = UUID('0df2b206-f672-4273-abad-1576fd17e17b')
        self.vs[56]["name"] = """eq3"""
        self.vs[56]["mm__"] = """Equation"""
        self.vs[56]["GUID__"] = UUID('7edd10b4-5bb3-45b0-a1ab-f6255271cb93')
        self.vs[57]["name"] = """eq4"""
        self.vs[57]["mm__"] = """Equation"""
        self.vs[57]["GUID__"] = UUID('98c5bf4d-7f63-4b94-a431-d36844cb2da0')
        self.vs[58]["name"] = """eq5"""
        self.vs[58]["mm__"] = """Equation"""
        self.vs[58]["GUID__"] = UUID('356fad00-21fc-45db-a9c7-df3be5a5dd44')
        self.vs[59]["name"] = """eq6"""
        self.vs[59]["mm__"] = """Equation"""
        self.vs[59]["GUID__"] = UUID('40e78bb0-57dd-4b1f-a961-152aaac2b8d5')
        self.vs[60]["name"] = """eq7"""
        self.vs[60]["mm__"] = """Equation"""
        self.vs[60]["GUID__"] = UUID('81b40dea-86a4-432a-9697-f4fc3ce03ae8')
        self.vs[61]["mm__"] = """leftExpr"""
        self.vs[61]["GUID__"] = UUID('8fc6bf50-a3fd-45c7-91c6-84839f6845c5')
        self.vs[62]["mm__"] = """leftExpr"""
        self.vs[62]["GUID__"] = UUID('2ad1096f-e260-4a77-9276-9288fc6b25f7')
        self.vs[63]["mm__"] = """leftExpr"""
        self.vs[63]["GUID__"] = UUID('d7fdaa96-c674-4a3a-82cb-7774929efe4f')
        self.vs[64]["mm__"] = """leftExpr"""
        self.vs[64]["GUID__"] = UUID('3ac6e731-8fd8-4cc2-9c69-d7ec99d1c015')
        self.vs[65]["mm__"] = """leftExpr"""
        self.vs[65]["GUID__"] = UUID('1a6c3ad5-8d23-4f20-a8db-d9ac4005608f')
        self.vs[66]["mm__"] = """leftExpr"""
        self.vs[66]["GUID__"] = UUID('67b8ed02-0126-4207-ae12-8702a609d1a9')
        self.vs[67]["mm__"] = """leftExpr"""
        self.vs[67]["GUID__"] = UUID('048de388-2f72-49df-a257-aacf95ba655e')
        self.vs[68]["name"] = """true"""
        self.vs[68]["mm__"] = """Constant"""
        self.vs[68]["Type"] = """'Bool'"""
        self.vs[68]["GUID__"] = UUID('8a93e6be-73d1-4bf1-9e17-0f9b0d470a3d')
        self.vs[69]["name"] = """exit_in"""
        self.vs[69]["mm__"] = """Constant"""
        self.vs[69]["Type"] = """'String'"""
        self.vs[69]["GUID__"] = UUID('0dc9d109-06b6-49a0-9b63-a55d89efc3ec')
        self.vs[70]["name"] = """exack_in"""
        self.vs[70]["mm__"] = """Constant"""
        self.vs[70]["Type"] = """'String'"""
        self.vs[70]["GUID__"] = UUID('a9f5b5ad-0148-4315-b599-376593e78b87')
        self.vs[71]["name"] = """""""
        self.vs[71]["mm__"] = """Constant"""
        self.vs[71]["Type"] = """'String'"""
        self.vs[71]["GUID__"] = UUID('233d8cea-abfc-41dd-8b63-1559bb9adcfb')
        self.vs[72]["name"] = """""""
        self.vs[72]["mm__"] = """Constant"""
        self.vs[72]["Type"] = """'String'"""
        self.vs[72]["GUID__"] = UUID('db7f377a-51d0-48b4-a71e-1e891113a3b7')
        self.vs[73]["name"] = """sh_in"""
        self.vs[73]["mm__"] = """Constant"""
        self.vs[73]["Type"] = """'String'"""
        self.vs[73]["GUID__"] = UUID('be6b8e14-c78f-4313-8612-c50f8d6202d6')
        self.vs[74]["name"] = """S"""
        self.vs[74]["mm__"] = """Constant"""
        self.vs[74]["Type"] = """'String'"""
        self.vs[74]["GUID__"] = UUID('906312bd-c242-4c2f-acc7-a70433fa0f70')
        self.vs[75]["name"] = """instForInTrans"""
        self.vs[75]["mm__"] = """Constant"""
        self.vs[75]["Type"] = """'String'"""
        self.vs[75]["GUID__"] = UUID('8948f30f-f365-413e-a296-4068f7710c2f')
        self.vs[76]["name"] = """name"""
        self.vs[76]["mm__"] = """Attribute"""
        self.vs[76]["Type"] = """'String'"""
        self.vs[76]["GUID__"] = UUID('96ca558e-89ab-4ebf-a5c4-ae4d706f8092')
        self.vs[77]["name"] = """name"""
        self.vs[77]["mm__"] = """Attribute"""
        self.vs[77]["Type"] = """'String'"""
        self.vs[77]["GUID__"] = UUID('15918d92-fc8e-4f3d-a654-bd9919a97e9e')
        self.vs[78]["name"] = """isComposite"""
        self.vs[78]["mm__"] = """Attribute"""
        self.vs[78]["Type"] = """'Bool'"""
        self.vs[78]["GUID__"] = UUID('a532e774-e3a0-40ac-8f99-51b33e9d4ad3')
        self.vs[79]["name"] = """literal"""
        self.vs[79]["mm__"] = """Attribute"""
        self.vs[79]["Type"] = """'String'"""
        self.vs[79]["GUID__"] = UUID('f2451e86-7c29-45ce-8436-ba1c2ab38a8b')
        self.vs[80]["name"] = """literal"""
        self.vs[80]["mm__"] = """Attribute"""
        self.vs[80]["Type"] = """'String'"""
        self.vs[80]["GUID__"] = UUID('ff8de381-7303-430a-83df-c30f30dab19a')
        self.vs[81]["name"] = """literal"""
        self.vs[81]["mm__"] = """Attribute"""
        self.vs[81]["Type"] = """'String'"""
        self.vs[81]["GUID__"] = UUID('c929cb4e-6eb3-4187-bec2-d5b488c9d616')
        self.vs[82]["name"] = """literal"""
        self.vs[82]["mm__"] = """Attribute"""
        self.vs[82]["Type"] = """'String'"""
        self.vs[82]["GUID__"] = UUID('6fb88f1e-a75b-4b5b-8289-219e21e401b1')
        self.vs[83]["name"] = """name"""
        self.vs[83]["mm__"] = """Attribute"""
        self.vs[83]["Type"] = """'String'"""
        self.vs[83]["GUID__"] = UUID('a2e6499c-2ee5-423a-bc57-a03e12fe1470')
        self.vs[84]["name"] = """pivotout"""
        self.vs[84]["mm__"] = """Attribute"""
        self.vs[84]["Type"] = """'String'"""
        self.vs[84]["GUID__"] = UUID('bf859282-c682-45a3-8e9b-6b6ef9372e74')

